21. Rigorous software development :
پدیدآورنده : José Bacelar Almeida [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development.,Computer software-- Verification.,Computer software-- Development.,Computer software-- Verification.,Informatique.
رده :
QA76
.
76
.
V47
R54
2011
22. Scientific applications of multiprocessors
پدیدآورنده : edited by R. Elliott, and C.A.R. Hoare
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Science- Data processing- Congresses,Multiprocessors- Congresses
رده :
Q
،
183
.
9
،.
S29
،
1989
23. Selected writings on computing :
پدیدآورنده : Edsger W Dijkstra
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
24
E374
2011
24. Serbia since 1989 :
پدیدآورنده : edited by Sabrina P. Ramet and Vjeran Pavlaković.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Milošević, Slobodan,1941-2006.,Milo*sevi*c, Slobodan,1941-2006.,Milošević, Slobodan (Politiker),Milošević, Slobodan, 1941-2006,Milošević, Slobodan,1941-2006,Yugoslav War, 1991-1995-- Serbia.,Guerre dans l'ex-Yougoslavie, 1991-1995-- Serbie-Monténégro-- Serbie.,Evolution politique.,Guerres.,Milosevic, Slobodan, 1941-2006.,Serbia-History-1922.,Société.,Yugoslav War, 1991-1995-Serbia and Montenegro-Serbia.,Serbia, History, 1992-,Serbie, Histoire, 1992-,Serbia.,Serbie.,Serbie-et-Monténégro.,Serbien,Yougoslavie., 0, 6, 7, 7, 7, 7, 7
رده :
DR2049
.
S47
2005
25. Structured Programming
پدیدآورنده : \ O.J. Dahl, E. W. Dijkstra, C. A. R. Hoare.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming.
رده :
E-Book
,
26. Structured programming
پدیدآورنده : Dahl, Ole-Johan
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Structured programming
رده :
QA
76
.
6
.
D33
27. Structured programming
پدیدآورنده : Dahl, Ole-Johan
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Structured programming
رده :
QA
76
.
6
.
D33
1972
28. Structured programming
پدیدآورنده : / O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Structured programming
رده :
QA76
.
6
.
D33
29. Structured programming,
پدیدآورنده : [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming
رده :
QA76
.
6
.
D33
30. Structured programming
پدیدآورنده : Dahl, Ole-Johan
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Structured programming
رده :
QA
76
.
6
.
D33
31. Structured programming
پدیدآورنده : / O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
D131s
32. The Spanish Tudors :
پدیدآورنده : Pleydell, Bethany
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
33. The trypanosomes of mammals: a zoological monograph
پدیدآورنده : Hoare, Cecil A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Trypanosoma,Mammals ، Parasites
رده :
QL
368
.
F5
H68
34. Unifying theories of programming /
پدیدآورنده : C.A.R. Hoare and He Jifeng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming.,Computer programming.,Programmierung.,Programmierung.,Software Engineering.,Software Engineering.
رده :
QA76
.
6
. .
H5735
1998
35. Unifying theories of programming
پدیدآورنده : \ C. A. R. Hoare and He Jifeng.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : برنامهنویسی.
رده :
QA
۷۶
/
۶
/
ھ
۹
ی
۹ ۱۳۷۷
36. VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings
پدیدآورنده : VDM '09 )0991: Kiel, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
V36
1990
37. Vernacular architecture in the twenty-first century :
پدیدآورنده : edited by Lindsay Asquith and Marcel Vellinga.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Vernacular architecture.,ARCHITECTURE-- Buildings-- Residential.,Vernacular architecture.
رده :
NA208
.
V48
2006eb